Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Crespi Reghizzi, Ste...
Roscoe, A. W.
Stirling, Colin
Item types
Books
Series
Texts in computer sc...
Texts in computer sc...
Topics
Compiling (Electroni...
Computer logic
Operating systems
Parallel processing ...
Sequential processin...
Show more
Your query retrived 3 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Modal and temporal properties of processes
by
Stirling, Colin.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
New York: Springer-Verlag, 2001
Availability:
Items available for loan:
[
Call number:
004.35 STI] (1).
Place hold
2.
Formal languages and compilation
by
Crespi Reghizzi, Stefano.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
London: Springer, 2009
Availability:
Items available for loan:
[
Call number:
005.453015113 CRE] (1).
Place hold
3.
Understanding concurrent systems
by
Roscoe, A. W.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
London: Springer, 2010
Availability:
Items available for loan:
[
Call number:
004.35 ROS] (2).
Place hold
Powered by
Koha